$\vdash$  $\mathbb{N}^{+}$ $\subseteq$ $\mathbb{N}$